Electromagnetically induced transparency spectroscopy

We propose a method based on the electromagnetically induced transparency (EIT) phenomenon for the detection of molecules which exist as a small minority in the presence of a majority of absorbers. The EIT effect we employ effectively eliminates the absorption of the majority species in the spectral region where it overlaps with the absorption of the minority species. The method can also be used to enhance local-modes transitions which overlap spectrally with a background of other local-modes transitions of the same molecule. The general theory is applied to the case of sparse and congested background spectra within the same molecule and to the recording of the spectra of isotopomers (of chlorine and methanol) that are in minority relative to other isotopomers which constitute the majority of molecules present.     

Preconditioning spectral element schemes for definite and indefinite problems

Spectral element schemes for the solution of elliptic boundary value problems are considered. Preconditioning methods based on finite difference and finite element schemes are implemented. Numerical experiments show that inverting the preconditioner by a single multigrid iteration is most efficient and that the finite difference preconditioner is superior to the finite element one for both definite and indefinite problems. A multigrid preconditioner is also derived from the finite difference preconditioner and is found suitable for the CGS acceleration method. It is pointed out that, for the finite difference and finite element preconditioners, CGS does not always converge to the accurate algebraic solution. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 535–543, 1999     

Cyclical scheduling and multi-shift scheduling: Complexity and approximation algorithms

We consider the multiple shift scheduling problem modelled as a covering problem. Such problems are characterized by a constraint matrix that has, in every column, blocks of consecutive 1s, each corresponding to a shift. We focus on three types of shift scheduling problems classified according to the column structure in the constraint matrix: columns of consecutive 1s, columns of cyclical 1s, and columns of k consecutive blocks. In particular, the complexity of the cyclical scheduling problem, where the matrix satisfies the property of cyclical 1s in each column, was noted recently by Hochbaum and Tucker to be open. They further showed that the unit demand case is polynomially solvable. Here we extend this result to the uniform requirements case, and provide a 2-approximation algorithm for the non-uniform case. We also establish that the cyclical scheduling problem’s complexity is equivalent to that of the exact matching problem—a problem the complexity status of which is known to be randomized polynomial (RP). We then investigate the three types of shift scheduling problems and show that, while the consecutive ones version is polynomial and the k-block columns version is NP-hard (for k≥2), for the k-blocks problem we give a simple k-approximation algorithm, which is the first approximation algorithm determined for the problem.     

Testing satisfiability

Let Φ be a set of general boolean functions on n variables, such that each function depends on exactly k variables, and each variable can take a value from [1,d]. We say that Φ is ε-far from satisfiable, if one must remove at least εn^k functions in order to make the set of remaining functions satisfiable. Our main result is that if Φ is ε-far from satisfiable, then most of the induced sets of functions, on sets of variables of size c(k,d)/ε², are not satisfiable, where c(k,d) depends only on k and d. Using the above claim, we obtain similar results for k-SAT and k-NAEQ-SAT.Assume we relax the decision problem of whether an instance of one of the above mentioned problems is satisfiable or not, to the problem of deciding whether an instance is satisfiable or ε-far from satisfiable. While the above decision problems are NP-hard, our result implies that we can solve their relaxed versions, that is, distinguishing between satisfiable and ε-far from satisfiable instances, in randomized constant time.From the above result we obtain as a special case, previous results of Alon and Krivelevich, and of Czumaj and Sohler, concerning testing of graphs and hypergraphs colorability. We also discuss the difference between testing with one-sided and two-sided error.     

Packing and counting arbitrary Hamilton cycles in random digraphs

We prove packing and counting theorems for arbitrarily oriented Hamilton cycles in (n, p) for nearly optimal p (up to a factor). In particular, we show that given t = (1 ? o(1))np Hamilton cycles C₁,…,C_t, each of which is oriented arbitrarily, a digraph ～(n, p) w.h.p. contains edge disjoint copies of C₁,…,C_t, provided . We also show that given an arbitrarily oriented n‐vertex cycle C, a random digraph ～(n, p) w.h.p. contains (1 ± o(1))n!pⁿ copies of C, provided .     

On An Extremal Hypergraph Problem Of Brown, Erdős And Sós

Let f_r(n,v,e) denote the maximum number of edges in an r-uniform hypergraph on n vertices, which does not contain e edges spanned by v vertices. Extending previous results of Ruzsa and Szemerédi and of Erdős, Frankl and R?dl, we partially resolve a problem raised by Brown, Erdős and Sós in 1973, by showing that for any fixed 2≤k<r, we have

Small noise and long time phase diffusion in stochastic limit cycle oscillators

We study the effect of additive Brownian noise on an ODE system that has a stable hyperbolic limit cycle, for initial data that are attracted to the limit cycle. The analysis is performed in the limit of small noise – that is, we modulate the noise by a factor $\epsilon \searrow 0$ – and on a long time horizon. We prove explicit estimates on the proximity of the noisy trajectory and the limit cycle up to times $\exp ?\left(c{\epsilon }^{?2}\right)$, $c>0$, and we show both that on the time scale ${\epsilon }^{?2}$ the dephasing (i.e., the difference between noiseless and noisy system measured in a natural coordinate system that involves a phase) is close to a Brownian motion with constant drift, and that on longer time scales the dephasing dynamics is dominated by the drift. The natural choice of coordinates, that reduces the dynamics in a neighborhood of the cycle to a rotation, plays a central role and makes the connection with the applied science literature in which noisy limit cycle dynamics are often reduced to a diffusion model for the phase of the limit cycle.